Type systems

Results: 2329



#Item
11C-Band Bethe Hole Directional Coupler Type WDK-C-05NV70-MO This type Directional Coupler is designed for high-power high-vacuum waveguide systems. It measures traversing wave and reflection wave on feeder lines high prec

C-Band Bethe Hole Directional Coupler Type WDK-C-05NV70-MO This type Directional Coupler is designed for high-power high-vacuum waveguide systems. It measures traversing wave and reflection wave on feeder lines high prec

Add to Reading List

Source URL: www.nikoha.co.jp

- Date: 2009-09-01 04:54:02
    12London Integrated Care Systems (ICSs) Guidelines for Safe Prescribing, Handling and Administration of Systemic AntiCancer Therapy Document Type Document name Document location

    London Integrated Care Systems (ICSs) Guidelines for Safe Prescribing, Handling and Administration of Systemic AntiCancer Therapy Document Type Document name Document location

    Add to Reading List

    Source URL: www.londoncanceralliance.nhs.uk

    Language: English - Date: 2015-08-04 09:59:07
      13European Type Approval for Automotive Systems and Components Document Ref: VCA004

      European Type Approval for Automotive Systems and Components Document Ref: VCA004

      Add to Reading List

      Source URL: www.dft.gov.uk

      Language: English - Date: 2017-03-31 08:18:20
        14Compatibility and reuse in component-based systems via type and unit inference Christian K¨uhnel1 1) Andreas Bauer2,1

        Compatibility and reuse in component-based systems via type and unit inference Christian K¨uhnel1 1) Andreas Bauer2,1

        Add to Reading List

        Source URL: www.tautschnig.net

        Language: English - Date: 2007-06-05 12:29:33
        15Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems Vilhelm Sj¨oberg Chris Casinghino

        Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems Vilhelm Sj¨oberg Chris Casinghino

        Add to Reading List

        Source URL: www.cs.yale.edu

        Language: English - Date: 2015-03-10 14:01:25
          16Type Classes Without Types ∗ Ronald Garcia Andrew Lumsdaine Open Systems Lab

          Type Classes Without Types ∗ Ronald Garcia Andrew Lumsdaine Open Systems Lab

          Add to Reading List

          Source URL: www.deinprogramm.de

          Language: English - Date: 2005-10-09 10:53:12
            17Type theoretic weak factorization systems Paige Randall North King’s College

            Type theoretic weak factorization systems Paige Randall North King’s College

            Add to Reading List

            Source URL: www.repository.cam.ac.uk

            Language: English - Date: 2017-10-04 20:54:32
              18A Type System for Flexible Role Assignment in Multiparty Communicating Systems Pedro Baltazar1 , Luís Caires3 , Vasco T. Vasconcelos2 , and Hugo T. Vieira3 Instituto de Telecomunicações, IST, Universidade Técnica de

              A Type System for Flexible Role Assignment in Multiparty Communicating Systems Pedro Baltazar1 , Luís Caires3 , Vasco T. Vasconcelos2 , and Hugo T. Vieira3 Instituto de Telecomunicações, IST, Universidade Técnica de

              Add to Reading List

              Source URL: ctp.di.fct.unl.pt

              Language: English - Date: 2012-09-27 14:27:14
                19This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination. IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS 1 Vehicle Type Cla

                This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination. IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS 1 Vehicle Type Cla

                Add to Reading List

                Source URL: iitlab.bit.edu.cn

                Language: English - Date: 2016-05-09 04:28:00
                  20Elsevier Editorial System(tm) for Journal of Process Control Manuscript Draft Manuscript Number: Title: Constrained multisine input signals for plant-friendly identification of chemical process systems Article Type: Rese

                  Elsevier Editorial System(tm) for Journal of Process Control Manuscript Draft Manuscript Number: Title: Constrained multisine input signals for plant-friendly identification of chemical process systems Article Type: Rese

                  Add to Reading List

                  Source URL: plato.asu.edu

                  Language: English - Date: 2007-09-21 11:52:27